Helen Holme Tucker (née Barwise)

Jon Barwise

The IGPL community and the Editorial Board deeply regrets the untimely death of Professor Jon Barwise on Sunday March 5th of this year. His departure is a great loss, not only to his family and friends and the international logic community, but also to the historical evolutionary development of logic itself. Professor Barwise’s contribution in the areas of pure and applied logic, his active par...

Helen.

Barwise: Abstract model theory and generalized quantifiers

§

Barwise: infinitary logic and admissible sets

0. Introduction 1 1. Background on infinitary logic 2 1.1. Expressive power of Lω1ω 2 1.2. The back-and-forth construction 3 1.3. The Scott isomorphism theorem 4 1.4. ω-logic 7 1.5. Familiar theorems 8 1.6. Failure of compactness 9 2. Background on admissible sets 10 2.1. ∆0 formulas and Σ-formulas in set theory 10 2.2. Axioms of KP 11 2.3. Examples of admissible sets 12 2.4. The admissible set...

Finding minimum Tucker submatrices

A binary matrix has the Consecutive Ones Property (C1P) if its columns can be ordered in such a way that all 1s on each row are consecutive. These matrices are used for DNA physical mapping and ancestral genome reconstruction in computational biology on the other hand they represents a class of convex bipartite graphs and are of interest of algorithm graph theory researchers. Tucker gave a forb...